Search results for " Verification"
showing 10 items of 91 documents
Pedagogical approaches for e-assessment with authentication and authorship verification in Higher Education
2019
Checking the identity of students and authorship of their online submissions is a major concern in Higher Education due to the increasing amount of plagiarism and cheating using the Internet. The literature on the effects of e-authentication systems for teaching staff is very limited because it is a novel procedure for them. A considerable gap is to understand teaching staff' views regarding the use of e-authentication instruments and how they impact trust in e-assessment. This mixed-method study examines the concerns and practices of 108 teaching staff who used the TeSLA—Adaptive Trust-based e-Assessment System in six countries: the UK, Spain, the Netherlands, Bulgaria, Finland and Turkey.…
Waveforms clustering and single-station location of microearthquake multiplets recorded in the northern Sicilian offshore region
2013
In 2009 December, the OBSLab-INGV (Istituto Nazionale di Geofisica e Vulcanologia) deployed an Ocean Bottom Seismometer with Hydrophone (OBS/H) near the epicentral area of the main shock of the Palermo seismic sequence of 2002. The monitoring activity had a total duration of about 8 months. During this experiment, the OBS/H recorded 247 very local microearthquakes, whose local magnitude is between -0.5 and 2.5 and TS - TP delay time between 0.2 and 5 s, almost all ofwhichwere undetected by the Italian National Seismic Network. This local microseismicity has been analysed using an innovative clustering technique that exploits the similarity between the waveforms generated by different events…
Morphological Enhancement and Triangular Matching for Fingerprint Recognition
2008
Among the principal problems for realizing a robust Automated Fingerprint Identification System (AFIS) there are the images quality and matching algorithms. In this paper a fingerprint enhancement algorithm based on morphological filter and a triangular matching are introduced. The enhancement phase is based on tree steps: directional decomposition, morphological filter and composition. For the matching phase a global transformation to overcame the effects of rotation, displacement and deformation between acquired and stored fingerprint is performed using the number of similar triangular, having fingerprint minutiae as vertexes. The performance of the proposed approach has been evaluated on…
Extending SPARQL with Temporal Logic
2009
The data integration and sharing activities carried on in the framework of the Semantic Web lead to large knowledge bases that must be queried, analyzed, and exploited efficiently. Many of the knowledge representation languages of the Semantic Web, starting with RDF, are based on directed, labeled graphs, which can be also manipulated using graph algorithms and tools coming from other domains. In this paper, we propose an analysis approach of RDF graphs by reusing the verification technology developed for concurrent systems. To this purpose, we define a translation from the SPARQL query language into XTL, a general-purpose graph manipulation language implemented in the CADP verification too…
Reference Standards for Software Evaluation
1990
AbstractThe field of automated ECG analysis was one of the earliest topics in Medical Informatics and may be regarded as a model both for computer-assisted medical diagnosis and for evaluating medical diagnostic programs. The CSE project has set reference standards of two kinds: In a broad sense, a standard how to perform a comprehensive evaluation study, in a narrow sense, standards as specific references for evaluating computer ECG programs. The evaluation methodology used within the CSE project is described as a basis for presentation of results which are published elsewhere in this issue.
Reward networks changes in the brain of pathological gamblers: a resting state functional magnetic resonance imaging study
2017
Aims and objectives Methods and materials Results Conclusion Personal information References
QUALITY SYSTEM FOR PRODUCTION SOFTWARE (QSPS): AN INNOVATIVE APPROACH TO IMPROVE THE QUALITY OF PRODUCTION SOFTWARE
2013
A quality system for production software should be part of the quality management system of an organization and can be expressed as objectives in the form of processes, procedures, tools and responsibilities, designed and developed to fulfil the quality requirements. These usually are addressing the customers (external or internal), compliance with standards (effectiveness) waste reduction and better use of resources (efficiency) for continual improvement. Such systems are designed according to the requirements of the standards for quality management, software engineering and information security. Quality systems themselves could not provide all necessary means for driving the organization…
The impact of thermophysical properties and hysteresis effects on the energy performance simulation of PCM wallboards: Experimental studies, modellin…
2020
Abstract This paper presents a combined experimental and numerical procedure, developed to test the thermophysical behaviour of a real scale PCM wallboard, aiming at providing reliable data for the validation of building energy performance simulation tools. Data obtained from two experimental tests, conducted on real building elements integrating PCM undergoing complete and incomplete phase change, are considered for assessing the impact of thermal properties and hysteresis. A comprehensive comparative numerical analysis, performed by means of an in-house developed simulation tool, called DETECt, is carried out to investigate the reliability of several modelling and simulation approaches av…
Fingerprint image enhancement using directional morphological filter
2005
Fingerprint images quality enhancement is a topic phase to ensure good performance in an automatic fingerprint identification system (AFIS) based on minutiae matching. In this paper a new fingerprint enhancement algorithm based on morphological filter is introduced. The algorithm is based on three steps: directional decomposition, morphological filter and composition. The performance of the proposed approach has been evaluated on two sets of images: the first one is DB3 database from Fingerprint Verification Competition (FVC) and the second one is self collected using an optical scanner
A platform for the development and the validation of HW IP components starting from reference software specifications
2008
Abstract Signal processing algorithms become more and more efficient as a result of the developments of new standards. It is particularly true in the field video compression. However, at each improvement in efficiency and functionality, the complexity of the algorithms is also increasing. Textual specifications, that in the past were the original form of specifications, have been substituted by reference software which became the starting point of any design flow leading to implementation. Therefore, designing an embedded application has become equivalent to port a generic software on a, possibly heterogeneous, embedded platform. Such operation is getting more and more difficult because of …